81. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
82. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
83. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
84. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
85. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده : edited by Laurent kott
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
86. Automata-theoretic aspects of formal power series
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
87. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
88. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
89. Automatic sequences :theory, applications, generalizations]CD[
پدیدآورنده : Allouche, Jean-Paul, Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
CD
1742-17
90. Automatic sequences : theory, applications, generalizations
پدیدآورنده : Allouche, Jean-Paul
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A55
91. Automatic sequences : theory, applications, generalizations
پدیدآورنده : Allouche, Jean-Paul, 3591-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
QA
267
.
5
.
S4A448
92. Automatismes a sequences et commandes numeriques
پدیدآورنده : Florine, Jean
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Electronic digital computers- circuits,، Sequential machine theory,، Digiatal counters
رده :
TK
7888
.
3
.
F55
94. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
95. Bayesian time series models /
پدیدآورنده : edited by David Barber, A. Taylan Cemgil, Silvia Chiappa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory,Time-series analysis
رده :
QA280
.
B39
2011
96. Bayesian time series models /
پدیدآورنده : edited by David Barber, A. Taylan Cemgil, Silvia Chiappa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory,Time-series analysis
رده :
QA280
.
B39
2011
97. Block trace analysis and storage system optimization :
پدیدآورنده : Jun Xu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATLAB.,MATLAB.,Computer networks.,Python (Computer program language),Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Network hardware.,Python (Computer program language)
رده :
TK5105
.
5
98. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
99. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
موضوع : ، Predicate calculus,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
100. Cellular Automata and Modeling of Complex Physical Systems :
پدیدآورنده : edited by Paul Manneville, Nino Boccara, Gérard Y. Vichniac, Roger Bidaux.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physical organic chemistry.,Physics.,Software engineering.
رده :
QC174
.
7
E358
1989
